Merge branch 'selection-filter' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Fri, 3 Jul 2020 04:15:12 +0000 (04:15 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 3 Jul 2020 04:15:12 +0000 (04:15 +0000)
commit1f8e7c8aabfdd75960c9713dda9252de15466908
treede82cc2db47b5db512eae6a81b04bb926a6aba98
parent988901294dffafdc80f8672e8a9a74cc5dcccf97
parent671daea262baf09e222b028e31bfe316f6396adf
Merge branch 'selection-filter' into 'master'

Selection filter

See merge request GNOME/gtk!2184